#!/bin/sh
edit in/12-stop.txt
edit out/12-stop.txt
edit in/13-start.txt
edit out/13-start.txt
edit in/14-stop.txt
edit out/14-stop.txt
edit in/15-user-dump.txt
edit out/15-user-dump.txt
edit in/16-user-dump.txt
edit out/16-user-dump.txt
